@i: only members of L read x(j) == if eqof(IdDeq)(j,i) only members of L read x else  fi 

latex

Definitions	x.A(x), if b t else f fi, f(a), eqof(d), IdDeq, only members of L read x,
FDL editor aliases	d-single-rframe